perm filename S79.OUT[LET,JMC] blob
sn#453685 filedate 1979-07-01 generic text, type T, neo UTF8
∂01-Jul-79 1723 JMC
To: REM
That should certainly be the main first impression.
∂30-Jun-79 1234 JMC
To: LES
How about a draft statement of SAIL computer charges.
∂30-Jun-79 0114 JMC
To: PAT
Please decorate Ershov.le1.
∂29-Jun-79 2039 JMC
To: LCW
A final decision will be announced when reached, but the move won't be
before Sept. 1 and may be substantially later.
∂28-Jun-79 1731 JMC
To: PAT
Please check into the following: It occurs to me that it might be
advantageous for me to take a flight that stops in NY and leave some
baggage in NY, since I am not coming back to California till the end
of summer. Is there a reaonably good connection that will do it and
still get me to Edinburgh Monday evening? Does Hirsch know whether
I can check a suitcase or two at Kennedy for a week? Anyway, please
try to find out about it.
∂27-Jun-79 2325 JMC
To: RPG
REFILEV seems to delete the rest of the file into which refile takes place.
∂27-Jun-79 2224 JMC broken differently
To: RPG
Now (refile count (solit lsp)) elicits the reply
;(OPEN (SOLIT LSP DSK (S79 JMC)) IN) Wrong number of arguments to form.
∂27-Jun-79 1644 JMC your paper
To: bmoore at SRI-KL, hendrix at SRI-KL
My "Ascribing Mental Qualities to Machines" contains similar ideas,
more developed in some respects. I am surprised you are unfamiliar
with it. It is AIM 326 and has been published in Ringle's "Philosophical
Perspectives in Artificial Intelligence".
∂27-Jun-79 1454 JMC
To: DEK, REG
I haven't checked out Oct. 1 with all concerned yet.
∂27-Jun-79 1453 JMC
To: DEK
I assume you mean Roy Hayes, our new hardware man.
∂27-Jun-79 1123 JMC
To: DEW
Yes about forms.
∂27-Jun-79 1017 JMC
To: DEW
I leave for Edinburgh on July 8 and will be at IBM Research Laboratory
in Yorktown Heights, N.Y. from July 16 to about the beginning of
September, so it looks like part of this will have to be done by mail.
∂26-Jun-79 2308 JMC
To: PAT
Please remind me to give you back Sarah's filled out form.
∂26-Jun-79 1618 JMC
To: RWW
Yes, and I assume you got mine.
∂26-Jun-79 1519 JMC
To: RWW
I understand the examples of your message, which are all correct
but irrelevant, because the predicate parameter of the mathematical
induction schema has only one argument. The replacement schema, which
gave rise to the problem, Carolyn's example and my elaboration of it
involve predicate parameters with two arguments. Had you but read her
example, . . .
∂26-Jun-79 1436 JMC
To: RWW
FETCH LOSE.PRF[S79,JMC] for proof of FALSE.
∂26-Jun-79 1357 JMC
To: RWW
lose.cmd[s79,jmc]
∂25-Jun-79 1339 JMC
To: CLT
equiv.mem[s79,jmc]
∂25-Jun-79 1111 JMC
To: moore at SRI-KL
∂AIL Mr. Ikuo Takeuchi↓Musashino ECL NTT↓3-9-11 Midori-cho, Musashino City
↓Tokyo, JAPAN 180∞
∂AIL A. Nozaki↓ICU↓Osawa 3-10-2↓Mitaka, Tokyo↓181 JAPAN∞
∂25-Jun-79 1021 JMC
To: bmoore at SRI-KL
Bob:
Here is a message from Pat Hayes who was advocating Ray
Turner. My own inclination, perhaps from laziness, is to postpone
action on this until the group meets - or until and if Lindzey gets
the money he has asked from the Sloan Foundation. What do you
think?
∂25-Jun-79 0742 PJH via LONDON dates and turner
The later date seems more likely to be acceptable as is v. close
to the end of term, a nd that endofterm is a slack time. But not
crucial.
About theposibility of Ray Turner visiting. There is a possibility
of his getting away from here for the second half of the year, ie
starting in april-may until september or october. I know this is
not optimal from point of view of getting intensive group discussions,
but in the event of not finding somebody reasonable for the whole year,
which seems quite likely this late, consider the scenario where two
people arrive halfway through the year to bring fresh ideas to the
group. Ie use one years money for two halfyears. Turner and
Sloman? I think this might be quite a god scenario for several reasons
(1) insurance against staleness in the discussions (2) new arrivals
will have some prepared positions to react against (3) preparation
for their arrival might be good discipline for the group at a crucial
point in the year.
correction to last msg: ray turner could maybe come late March 80.
∂24-Jun-79 2240 JMC
To: RWW
Carolyn's message summarizes yesterday's complaint. My files are changed.
∂24-Jun-79 1403 JMC Bug in lambda conversion
To: RWW
While I was proving the existence of the set of equivalence classes, which
should be much shorter in FOL than the several hundred Automath steps
experienced by Don Knuth, I encountered a bug in the very first step of
the proof which was an application of the replacement schema. Somehow
the wrong substitutions were made. The error is probably in the mechanism
that changes the names of variables when there is a clash. The relevant
axioms are ZF.AX[W78,JMC], which is Arthur Thomas's version of ZF,
EQUIV.AX[S79,JMC] which defines an equivalence relation R(x,y) and
EQUIV.CMD[S79,JMC]. The very first command in EQUIV.CMD is an application
of replacement and leads to an implication statement. The left half of
the implication is ok, and I proved it in a 20 step proof, but the right
half has a wrong substitution - as I discovered when I attempted to use
it to prove the properties of the set shown to exist.
Carolyn may have a hypothesis as to the nature of the bug.
I would like it fixed in time to finish the proof by Thursday.
∂24-Jun-79 1358 JMC
To: LES
∂24-Jun-79 1355 Feigenbaum at SUMEX-AIM VAX VLSI/CAD facility proposal
Date: 24 Jun 1979 1354-PDT
From: Feigenbaum at SUMEX-AIM
Subject: VAX VLSI/CAD facility proposal
To: kahn at ISI, fb at SAIL, jmc at SAIL, rindfleisch,
To: admin.gorin at SCORE
cc: engelmore at ISI
Friends,
Herein is my first draft of the proposal for the VAX facility that has been
much discussed among us. Please send me comments so that I can quickly
revise it, get it through the Sponsored Projects Office, and off to Bob
Kahn as soon as possible. Note that it is short and to the point.
Forest and Tom should feed me the exact configuration (specify the gift
portion, the first augmentation, and the second augmentation).
Tom and I will iterate on the budget and get it to you pronto.
Right now I just need comments on the text.
Thanks,
Ed
-------------------------------------------------------------------------
INTRODUCTION
The Stanford University Computer Science Department herein proposes
the acquisition, maintenance, and operation of a computer facility to
support the development of a network-based resource for VLSI
computer-aided-design (CAD) programs. Equipment purchased under the
proposed contract will augment a substantial gift of equipment by
Digital Equipment Corporation to Stanford for VLSI CAD research,
thereby leveraging the proposed ARPA funding by a substantial amount.
The equipment proposed is a DEC VAX11/780 configuration.
LONG TERM OBJECTIVES
The nation currently faces major opportunities, and serious
scientific problems, in the move to VLSI circuitry. The DOD
(particularly DARPA) and the NSF are both moving to seize these
opportunities and solve the problems. Major computer science groups,
such as ours, are proposing to contribute to this effort. The
national interest is best served if the fruits of their work,
represented as software packages, are made available to the national
community of scientists and engineers working on these problems. Only
in this way can the science and technology cumulate in the nation
rapidly enough to make the necessary impact.
Experience of almost a decade has shown that the best way to make
this software available to a national community of interest is via
the national computer networks (of which the ARPAnet is the major
example). The evidence from the various ARPA-supported research
laboratories, and from the NIH-supported SUMEX-AIM National Computer
Resource, makes this abundantly clear.
Thus, our long range objective is to establish and operate a
network-based resource for CAD software of the VLSI era. It will have
a network-graphics orientation. It will be operated as a national
resource, along the lines of the successful SUMEX-AIM model, and will
be available to all researchers, whether supported by DOD or by NSF.
It is planned that the national resource will utilize much higher
speed VAX equipment from Digital Equipment Corporation that will
become available sometime toward the end of the coming three year
period. The equipment proposed herein is relatively low-capacity and
therefore will support only the software development work and
experimental network use (to develop and test the network software
systems). A follow-on proposal for the national resource will be sent
in the third year.
For development purposes, we will use the current ARPAnet. What
network to use for the national facility will become clearer as
events unfold, particularly with respect to the new wide-band
network.
SHORT TERM OBJECTIVES
This particular proposal asks for funds to establish and operate an
experimental VAX11/780 facility to support research on CAD software
at Stanford University and experimentation with the intended network-
based graphics access.
Specifically our objectives over the next three years are:
1. to augment the forthcoming DEC gift of a VAX11/780 with sufficient
main memory, disc memory, ARPAnet access electronics, and peripherals
to make the CAD research viable.
2. to use the facility in support of the work of four Stanford groups
on CAD: the Heuristic Programming Project group working on layout;
the Artificial Intelligence Laboratory group working on an augmented
SUDS (Stanford University Drawing System) system; and groups of the
Computer Systems Laboratory and Information Systems Laboratory
working on CAD at the architectural and functional specification
levels. The software produced by these groups will constitute the
core of the software made availble in the ultimate national resource.
3. to develop the necessary network driver software packages that
will allow the graphics interaction with the CAD software on the
network chosen for the national resource.
4. to adapt existing VAX software, and/or develop new base-level
software, to support the programming necessary for (2) above. The
VAX-line software is not yet adequate in this regard.
MILESTONES
October,1979: complete the initial augmentation of the VAX
configuration. (Meeting this milestone is conditional on DEC's
ability to deliver the necessary equipment, but if there is any
slippage it will not be long).
December, 1979: complete a second-stage of augmentation of the
configuration. Make final decisions regarding the base-level software
(operating system and languages).
March, 1979: Complete integration of graphics display equipment with
VAX configuration.
September, 1980: First demonstration of VLSI/CAD software on VAX.
September, 1981: Second demonstration of VLSI/CAD software on VAX.
March, 1982: Complete the plan for the national resource, including
selection of the appropriate machine, the appropriate network, and a
management structure for the national access. This plan will be
formulated in consultation with ARPA-IPTO, and will lead to a
follow-on proposal for the national resource.
September, 1982: Third demonstration of VLSI/CAD software with
experimental network-graphics use.
MANAGEMENT PLAN
The Principal Investigator will be Professor Edward A. Feigenbaum. He
is Chairman of the Computer Science Department as well as one of the
research investigators using the facility. He has experience as
Principal Investigator of the SUMEX-AIM National Resource and as
former Director of the Stanford Computation Center.
The facility director will be Mr. Thomas Rinsfleisch. He has been
Director of the SUMEX-AIM facility since its inception, and will
continue in that role as he adds the proposed facility to his
responsibilities.
There will be a steering committee, chaired by the P.I., and
consisting of:
Mr. Ralph Gorin, the Computer Science Department's Director of
Computer Facilities.
Professor Forest Baskett
Professor John McCarthy
The steering committee will discuss and decide all major issues, and
advise the P.I. on non-major issues.
When the national resource comes into being, the management structure
will be changed somewhat, along the lines of the SUMEX-AIM structure
that has worked so well.
The facility will be housed in the computer room of the new Computer
Science Department building at Stanford, and will serve graphics
terminals located elsewhere on campus by local digital network.
EQUIPMENT CONFIGURATION: INITIAL (GIFT) PLUS PROPOSED (*)
(here follows the configuration)
BUDGET
(Here follows the budget)
-------
∂24-Jun-79 0104 JMC
To: feigenbaum at SUMEX-AIM
I went to M.I.T. as a Sloan Fellow in September 1957 while still on
Dartmouth faculty. I didn't return to Dartmouth but stayed as
Assistant Professor of Communication Sciences in the EE Dept. I
don't know when Marvin left Society of Fellows, but I assume he
was a fellow for the standard period, which I believe is three
years.
∂23-Jun-79 1801 JMC
To: rindfleisch at SUMEX-AIM, admin.gorin at SU-SCORE, EAF at SU-AI,
FB at SU-AI
Has D.E.C. has made some proposals that have to be responded to?
Unless D.E.C. raises an issue, nothing need be done,
since we incur no obligation from accepting a gift. When D.E.C. gave us
the KL-10, nothing was said and nothing happened. More to the point is
what software they will let us use and whether we can get sources, but
this can be negotiated later.
∂23-Jun-79 1759 JMC
To: rindfleisch at SUMEX-AIM
cc, eaf,fb,admin.gorin%score
Has D.E.C. has made some proposals that have to be responded to?
Unless D.E.C. raises an issue, nothing need be done,
since we incur no obligation from accepting a gift. When D.E.C. gave us
the KL-10, nothing was said and nothing happened. More to the point is
what software they will let us use and whether we can get sources, but
this can be negotiated later.
∂23-Jun-79 0151 JMC
To: RWW
Is it the fifth anniversary of the bug of not showing substitutions for parameters?
∂23-Jun-79 0045 JMC
To: RWW
What set theory axioms have replacement?
∂22-Jun-79 1636 JMC special issue on non-monotonic reasoning
To: PJH at SU-AI
CC: bobrow at PARC-MAXC
Danny is away until July 16, and I don't know if he is reading his mail,
so I refer this to you.
1. Martin Davis spent a week here a couple years ago and another week just
now. The first time he produced a small note on minimal models, etc.
written from a mathematical logical point of view, and this time he
produced another discussing the McDermott and Doyle paper from a similar
point of view. They are quite short, and we have agreed to make an AI
memo of them, and I think they would be suitable for inclusion in the
special issue on non-monotonic reasoning. What do you think? Unless
there are severe scheduling problems, I think it would be worthwhile to
wait for them to be refereed.
2. Maybe the Ray Reiter opus would also be suitable if ready soon. Do
you have an address at which I could write to ask for a copy?
3. Would you say more about Ray Turner, and has he written something
interesting I could look at?
∂22-Jun-79 1354 JMC
To: HVA
Carolyn should be on my NSF or ARPA according to whichever is convenient
but for the summer less the 5 or 6 weeks that she will be working for
IBM. (It won't necessarily exactly correspond to the amount of time I
will be working for IBM). Ask her for an estimate on Monday.
∂21-Jun-79 1701 JMC
To: bobrow at PARC-MAXC
I don't expect to attend San Diego conference; will be at IJCAI.
∂21-Jun-79 1653 JMC Date of conference
To: PJH
Alternate dates for the conference are November 15-17 and Nov 29-Dec 1.
Is there anything about the British academic calendar that makes one
preferable?
∂21-Jun-79 1107 JMC
To: RPG
Is there a good way to edit the value of a variable using (edit)?
∂21-Jun-79 1000 JMC
To: DPB at SU-AI
Excuse impatience, but the buck has been being passed for eight (8) months.
∂20-Jun-79 1653 JMC
To: RWW
nozaki on takeuchi
∂20-Jun-79 1504 JMC
To: DPB at SU-AI
Is it correct that the buck was passed to you on inviting Hung?
∂20-Jun-79 1437 JMC
To: bmoore at SRI-KL
How about Thursday at 4pm?
∂20-Jun-79 1247 JMC
To: MRC at SU-AI
CC: LES at SU-AI
The order of priority is FTP, MAIL and lastly Telnet. More later.
∂20-Jun-79 1243 JMC
To: MFB
Downtime estimates range from week to month.
∂20-Jun-79 1242 JMC
To: PAT
Got it, read it, returned it.
∂19-Jun-79 2343 JMC
To: *
This is to inquire what interests would be adversely affected by different
dates for moving the KL to Margaret Jacks Hall. The current candidates
range from August 1 to October 15. Replies to JMC.
∂19-Jun-79 1327 JMC
To: DEK, TAR
Did anyone ever write to Hung - saying yes, no or maybe?
∂18-Jun-79 2057 JMC
To: LES
∂18-Jun-79 2054 MXB via SRI-KL account
NO, I've been very grateful its been left on this long, since
its handy for news service, etc, but I can understand you shutting
it off. Thanks
MO
∂17-Jun-79 0845 JMC
To: CLT
call joe
∂17-Jun-79 0845 JMC
To: CLT
call alice
∂16-Jun-79 2256 JMC pre-exist
To: DON
The reason I asked you was that I conjecture that these words are missing
because of some way the word list has been computer processed. Do you
know who did that?
∂16-Jun-79 1900 JMC
To: DON
Words like co-operate and pre-exist are completely missing from unabridged.
∂16-Jun-79 1714 JMC
To: CLT
![Feferman,1960]
Feferman, S.,
Arithmetization of metamathematices in a general setting
Fund. Math. 49 (1960)
pp. 35-92.
∂15-Jun-79 1457 JMC
To: LES
TED contract may be a legitimate moving charge as well as keyboard conversion.
∂15-Jun-79 1446 JMC
To: MXB
CC: LES
I there a reason why your SAIL account should continue?
∂15-Jun-79 1426 JMC your message and Minsky defection
To: PJH
Minsky never finally decided to come. He couldn't bring himself to do
anything about the twins' last year in high school. Maybe there is an
opening, so tell me more about Ray Turner. (You are right that
your last message didn't go through. It looks like the ↑Z didn't
take effect. Maybe it got intercepted somehow in the net software).
I am a little bit ahead of you on Sloman. After seeing his latest book
I wrote him, and he said it was too late, but he might be able to
come in April to which I replied that that might be too late to be
interesting but I would see what people thought when the group assembled.
I think we should try for a Sloman visit if funds can be found.
At first look your remarks about concepts and belief seems to confuse
quantifying over objects with quantifying over concepts, but I'll think
more.
Congratulations on the job. What is the precise position?
Please acknowledge the message even by a one liner that doesn't require
↑Z, i.e. MAIL JMC got your message <carriage return>.
∂15-Jun-79 1413 JMC
To: REM
Thanks for several points that apply to others as well.
∂15-Jun-79 1411 JMC
To: REM
I think that Shannon wrote only one paper on cryptography and that it
appeared in Bell System Technical Journal in 1948. I don't recall that
it presented any detailed compression schemes. After you have looked
at it you might ask Rivest if that is all he has in mind.
∂15-Jun-79 1409 JMC
To: ES
The ultimate move to Jacks is not in question.
∂15-Jun-79 1022 JMC
To: *
Whoever would be seriously inconvenienced by a month without ARPAnet if
occasioned by moving the TIP before moving the Lab should reply to JMC.
∂15-Jun-79 0846 JMC my name on mailing list
To: perlman at BBN-TENEXA
I have been receiving (to me) incomprehensible mail from you about
something called a "source notification meeting". The mail is sent
to jmc@mit-ai and forwarded to me at Stanford. I am called JMC there
as well as here although I use that machine infrequently. Perhaps
the mail is intended for someone else.
∂15-Jun-79 0110 JMC Ma Xiwen
To: phw at MIT-AI
I understand he is applying for a position at the M.I.T. AI Lab
next year. He has been here since April and has accomplished more in that
short time than I had really expected he would accomplish in a year. He
as mastered our system, editor, SAIL, MACLISP, FOL, has revised a set of
knowledge axioms and made a FOL proof for the S and P problem, and is
writing some routines so that he can put is name and institutional
affiliations in Chinese characters as well as English on his memo about
the S and P problem. He has also mastered Knuth's TEX. He and I will
probably write a joint paper about knowledge problems.
In short he is the best visitor we have had, and I recommend him
without qualification.
John McCarthy
∂14-Jun-79 1400 JMC
To: DEW
Good luck with your SRI job.
∂14-Jun-79 1040 JMC Don Gennery
To: DPB
Don Gennery is making good progress, and he has given me a batch of reports
that indicate it. Full details are known by Tom binford who is away. Anyway
Gennery requests two quarters' extension of his candidacy, and I support
this request. His thesis is going more slowly than he hoped.
∂14-Jun-79 1038 JMC
To: CET
Grade is N.
∂13-Jun-79 1620 JMC move date
To: feigenbaum at SUMEX-AIM
CC: LES at SU-AI, admin.gorin at SU-SCORE
There is another problem that may cause slippage - the keyboard
modification for the Datadisk terminals and the wiring in Margaret Jacks.
Rob Poor thinks they could be ready in 50 days which is just about July
30, but there are many opportunities for slippage. He has finished an
electronic prototype which tests ok on the scope but which hasn't been
connected to the computer. If it works we can order parts, and he says
that he has confined his design to parts in good supply. He will order
the parts before making the mechanical prototype of the new board that
must be mounted in all the keyboards. The result of all this is that we
must preserve some flexibility in moving dates. I don't know how Ralph is
coming in his plan for wiring MJH.
∂13-Jun-79 1516 JMC
To: PAT
Moore.le1 needs another copy of Nozaki note and an Elephant.
∂13-Jun-79 1352 JMC
To: LES
I now have another commitment for next Thursday noon.
∂12-Jun-79 1552 JMC
To: mcgoveran at SUMEX-AIM
And where has the McCorduck flown to?
∂12-Jun-79 1451 JMC
To: PAT
Offhand, no re paying for King paper. I didn't know about it when I agreed.
∂12-Jun-79 1345 JMC
To: PAT
hoover.le1
∂12-Jun-79 1335 JMC letter to Nozaki
To: PAT
Dear Mr. Nozaki:
I have read and agree with your neat proof of the termination
of the Takeuchi function. I hope to use it as an example the next
time I teach about termination of recursive programs.
I have always supposed that this kind of proof could be made
conveniently by defining a rank function and proving that the
referred cases of the function are of lower rank. In the present
case it would seem that we would use induction up to omega↑2 [Patte:
that's a Greek omega with an exponent 2] and that the
coefficient of omega would be your %2u(x,y,z)%1 and the linear term
would be a conditional expression depending on your case analysis.
We will explore whether the proof can be conveniently expressed in
that way and the role of your inner inductive proof. Should any of
us write anything about it, I'll send it to you.
The main interest of the Takeuchi function for me is to be
able to write computer checkable proofs of the properties of
recursive programs in a neat way, and the Takeuchi function certainly
provides a nice example.
.sgn
∂11-Jun-79 1850 JMC
To: LES
∂11-Jun-79 1834 ADMIN.GORIN at SU-SCORE Re: moving the TIP
Date: 11 Jun 1979 1825-PDT
From: ADMIN.GORIN at SU-SCORE
Subject: Re: moving the TIP
To: Feigenbaum at SUMEX-AIM, les at SU-AI
Cc: jmc at SU-AI
In-reply-to: Your message of 11-Jun-79 1223-PDT
I saw a note from DCA today confirming the move of the TIP for July 30.
-------
∂11-Jun-79 1750 JMC remaining on estate
To: JMC
july 17 return due
1. jewelry appraisal
2. property tax statement 78-78
3. check register (did I pay any bills right after death?)
4. plane fare
∂10-Jun-79 1335 JMC
To: *
I would like to speak to whoever put toner in the XGP Saturday
night or Sunday.
∂09-Jun-79 2349 JMC
To: CLT
feferman transfinite progressions of theories
∂09-Jun-79 1629 JMC
To: JMC
Roy Adler 914 941-6039
∂08-Jun-79 1550 JMC
To: LGC
I think I remember talking to someone whose name I didn't get or forgot.
∂08-Jun-79 1405 JMC
To: LGC
Never heard of him - Alan Perlis is well known.
∂07-Jun-79 1703 JMC
To: PAT
Please send ELEPHANT to Prof. Albert Meyer, Lab. for Computer Scie. M.I.T.
∂06-Jun-79 2218 JMC
To: LGC
I'm sure it won't matter much to ARPA, but I would be grateful if you
would undertake to replace the offending paragraph by either of your
amended versions. I have a slight preference for the first version.
∂06-Jun-79 1352 JMC
To: feldman at SUMEX-AIM
I have pursued it but have no further publication beyond that paper which
will appear in MI9. I also have an application of such a formalism to
a couple of puzzles involving knowledge. Lew Creary of this Lab has
modified my formalism to discuss concepts of concepts and has a paper
that will be given at the next IJCAI. He is called LGC.
∂05-Jun-79 1920 JMC annual report
To: JJK
1. change references to this past year to "recently". It is too strenuous
to redo the thing completely each year.
2. "completely characterizing LISP and other recursive programs within
first order logic by supplementing Cartwright's first order form of the
functional equation by a minimization schema". "... suited to automatic
proof checking, and in collaboration with Cartwright and Stanford students
is exploiting this breakthrough ..."
3. In 1979 McCarthy developed a new formalism called Elephant for
expressing sequential programs as sentences in first order logic
and which permits programmers to avoid defining some data structures
by referring explicitly to the past.
3. "In addition to his research ... McCarthy directs the LOTS interactive
computer facility for computer science and other course work."
4. In the academic year 1979-80 McCarthy will be on leave at the Center
for Advanced Studies in the Behavioral Sciences where he will chair a
working group on artificial intelligence and philosophy.
∂05-Jun-79 1608 JMC
To: LGC
Your paper looks good, and seems to me to represent my views correctly.
∂05-Jun-79 1050 JMC
To: selfridge at BBN-TENEXD
Your memo seems fine to me. Unless you see some reason why
tact might be productive, you might add the following paragraph.
After hearing so many convincing arguments as to why nothing
can or should be done by III, McCarthy became convinced that nothing
is likely to be done at III and will try to set up a small
project on book reading at Stanford. Perhaps a completely different
approach will lead to success.
∂05-Jun-79 0139 JMC
To: JB
It hasn't yet appeared, and I don't think he knows what issue yet.
The statement seemed like an excuse for not having done more,
and I think we are very far from having exhausted the possibilities
of goal seeking proof strategies - probably even within
the present FOL.
∂05-Jun-79 0127 JMC
To: JB
Yes. Here and there.
∂02-Jun-79 1825 JMC
To: PAT
more for Lindzey: Marvin wants to come for a month; we'll decide later.
∂02-Jun-79 1655 JMC
To: JB
I am ready to sign.
∂02-Jun-79 1455 JMC
To: YYY
I will be there from July 16 to approximately August 20 and would be
glad to discuss the questions you mentioned, although I haven't been
active in algebraic computation. We could also talk here sometime.
∂02-Jun-79 1418 JMC Note to Lindzey
To: PAT
I finally called Marvin and smoked him out. Alas, he isn't coming.
They just couldn't bring themselves to go away for their twins'
last year in high school. Marvin promises to phone you, but even
if he doesn't you can take it as official.
I forget whether I told you that Sloman wrote that he couldn't come
for the year but would like to come for a few months starting in
April. I wrote back that this might be desirable if the group were
holding together long enough and that we would see what the
situation is after the group had its first meetings.
∂02-Jun-79 1222 JMC
To: zenon.pylyshyn at CMU-10A
Minsky isn't coming.
∂02-Jun-79 1152 JMC
To: bmoore at SRI-KL
I finally smoked out Marvin. He is reneging.
∂02-Jun-79 0031 JMC Two things
To: LES
1. Since we don't need a second controller, I propose we let the musicians
sell it for what it's worth. Do you know how to find someone who has
bought Ampex drives and might want another controller? Perhaps one of
the equipment brokers would do it.
2. ARPA seems determined to buy me and Feigenbaum a VAX for design
automation for ICs, and I think you could play a big role in organizing
and running this project. A proposal and a budget are needed quickly,
and you should write yourself into it for a substantial part of your
time. Actually, Ed and Baskett and I agreed that one VAX is probably
enough for the time being, so his ARPA project and ours plan to share.
We should talk and then you should talk to Ed. We need to try to
recruit Helliwell and others.
∂02-Jun-79 0030 JMC
To: minsky at MIT-AI, ef at MIT-AI, selfridge at BBN-TENEX
Would you be interested in signing and getting other signatures to something
like the following. The numbers are subject to correction.
.require "memo.pub[let,jmc]" source
.cb STATEMENT ON THE GASOLINE SHORTAGE
We are most puzzled and concerned by the strange reaction
of the public, the press, the President and Congress to the gasoline
crisis. All they discuss is how to divide up the shortage; ways
of raising production are almost completely ignored.
If this be Carter's "moral equivalent of war", then his reaction
and that of Congress and the press
seems to be %2the moral equivalent of unconditional surrender%1.
We believe that the appropriate reaction to the oil shortage
is to act to meet it by increasing production to meet the demand.
Temporary restrictions on use may be justified to meet a crisis,
but taking no action to increase production to meet our needs
can only be the result of political paralysis.
The facts seem to us to be as follows:
1. The world can produce enough oil at low production costs
for at least the next ten to twenty years, but the OPEC cartel
will (immorally) turn the screws to an unacceptable degree in order
to achieve its financial, political and ideological goals.
2. The United States can produce enough fuel to meet its
needs for the next 100 years but at costs that are considerably
greater than even the present cartel price - %2but not more than
we can afford%1. To do this we must use expensive means of
oil recovery, oil produced by converting coal and oil shale.
3. Each of these methods will produce oil costing between
α$20 and α$30 per barrel.
4. The cost of operating the average American automobile
wouldn't be doubled unless the price per barrel of oil went well above
α$100. This is because the cost of the oil is only part of the
cost of gasoline, and the cost of gasoline is only part of the
cost of operating a car.
5. The use of automobiles will not be substantially reduced
even by such a doubling. This is shown by the fact earlier in
mass use of automobiles, the costs were double what they are now
in relation to the incomes of Americans.
Thus we can produce gasoline at a price far below that
which would force us give up our mobility.
6. Therefore, the correct policy is simply to plunge ahead,
pay the necessary higher prices, and solve the problem. We have
already lost six years since the 1973 oil crisis.
7. Many people are concerned that "environmental gains"
will be lost in the attempt to solve the problem. Undoubtedly
some will. Even those environmentalists who favor solving the
energy problem are reluctant to oppose the obstructionism of
their colleagues who oppose every new source of oil.
8. The longer this intransigeance continues, the more violent
will be the eventual reversal of policy. Continuation of the
present inaction might force halving the miles driven by the
late 1980s. This won't produce the change of values environmentalists
desire, just the success of a single issue politician who makes
this his issue.
9. The country needs a large joint government-industry program
to produce large quantities of oil from coal, shale, and secondary
recovery in a short time. Full energy independence by 1985 without
loss of mobility is attainable and desirable.
Because we have squandered six years,
this must probably be a crash program like the military production
programs of World War II. President Roosevelt's reaction to the
start of World War II was to call for the production of 50,000 airplanes,
and double that number were produced. The "moral equivalent of war"
calls for a similar challenge and response.
∂02-Jun-79 0025 JMC
To: LGC
Well, I agree with you in the long run, and I'd bet I said as much
already in the 1950s. However, I can solve the S and P
problem with my formalism and hope to be able to solve more realistic
AI problems with it. I have no confidence in any current proposal for
limiting the amount of deduction, and I am not optimistic that you or
I or anyone else will soon find one. For this reason, the paragraph
seems like wishful thinking, and it seems to call for abandoning approaches
that solve some problems before finding anything that seems to be
better.
∂01-Jun-79 1220 JMC
To: TW
I assume you will let us know what papers our examinees have chosen to comment
on and that we will be able to get copies.
∂31-May-79 2006 JMC message for queenie
To: PAT
Please ask her to send material on LOTS including D.E.C. brochure to
Dr. Robert dean, department of botany, U.C. Berkeley CA 94720.
∂30-May-79 1550 JMC
To: DCL
Today I am meeting with Engelmore; maybe after he leaves.
∂30-May-79 1151 JMC call
To: JMC
call bob kirkman at Bank of West 998-6608 (returning your call of last week)
∂30-May-79 0200 JMC reservations
To: PAT
Please get me psa reservations from San Jose to LAX and back Thursday
for III board meeting. Meeting starts at 10am, and I can take plane back
after 4:30.
∂30-May-79 0101 JMC
To: LGC
Come in by 9:30.
∂29-May-79 1529 JMC Hung
To: MAX
If you are writing to Mr. Hung, please tell him that I have given
copies of his latest letter to Knuth and Tarjan, but it is up to
them to act.
∂29-May-79 1456 JMC supplements to proposal
To: LES
CBCL.PRO[S79,JMC] and FILES.PRO[S79,JMC] are supplements to the formal
reasoning part of the ARPA proposal. ARPA seemed interested in them
from my oral description. Each should be budgeted at one research
associate.
∂29-May-79 1203 JMC
To: PAT
lang.le1
∂29-May-79 1058 JMC
To: FB at SU-AI, EAF at SU-AI
5 is best for me, but 3:20 is also ok.
∂28-May-79 1045 JMC
To: FB
If half speed would be a page every two seconds that is three times
the speed of the XGP. There would undoubtedly be some delays when
the Dover was supporting the whole department, but I think they would
be tolerable and could be mitigated by putting something like a
Printronix on each floor. Therefore, I think we should consider
running the Dover at half speed, because it will be very expensive
in manpower to keep the XGP running. Moreover, it will allow programs
that produce good text and reasonable graphics on the same page.
∂26-May-79 2011 JMC
To: MRC at SU-AI
CC: LES at SU-AI
Well, it appears that after taking two years to come around to the
Dialnet philosophy, they have about caught up in implementation.
However, I don't quite understand what they have done about
making the mail facility compatible with simultaneously using
the computer for other applications.
∂26-May-79 1246 JMC
To: EAF at SU-AI
How about meeting Baskett and me Friday pm?
∂25-May-79 1320 JMC potential offer
To: DEW
As I mentioned, I think it would be very desirable for you to continue
your work on chess patterns for a year or two. Next Wednesday, Bob
Englemore from ARPA will be here to discuss our proposal, and I will
ask him if they would go for it. If they won't, I'll ask Barrett at
NSF. Will you be around in case Englmore wants to talk with you?
∂25-May-79 1244 JMC
To: bmoore at SRI-KL
Tuesday lunch ok
∂25-May-79 0204 JMC
To: feigenbaum at SUMEX-AIM
Ed:
The following figures provide ammunition for reminding
the dean and the musicians that their expenditures should be
considered as paying for the use of the facility and not merely
for expansion. This was the understanding and "expectation".
Also they should be reminded that the musicians in fact contributed
an additional approximately $75K for the KA-10 but, as Chowning
put it at the time, "mortgaged" the KA-10 when they were short
of salary money. Moreover, if we hadn't had them as the heaviest
users we would not have needed the second disk channel. Moreover,
the Lab never got any use out of the disk they bought, because,
contrary to the original understanding, they insisted that it be
used as a second user drive, since they have many user packs, rather
than as a system pack that would expand the file system.
∂25-May-79 0146 LES computer time for music
In response to your inquiry, the computer time consumed by the music
project and music classes, measured in percentage of total doubloons,
has been as follows:
'71 '72 '73 '74 '75 '76 '77 '78 '79 (to date)
8% 13 8 10 15 19 28 25 29
←----- BUREAU -----------→ ←--- SOB --→
Note that the figures reported by BUREAU and SOB are not directly
comparable in that BUREAU reported computer time for system services (e.g.
spooling and news service) as separate items, while SOB subtracts these
times from the pool before computing percentages. This has the effect of
making the SOB figures larger but more accurate.
∂24-May-79 1800 JMC MS application of Yue Kai-zhi
To: GHG
I received a letter from him today apologizing for possible deficiencies
in his application and amplifying his statement of purpose. I haven't
seen the original, but the amplification seems thoughtful. The Lab's
present Chinese visitor Ma Xiwen is absolutely first rate, so I would
tend to support Yue's application.
∂24-May-79 0001 JMC
To: REM
I don't need demo, but what is compression on English?
∂23-May-79 2358 JMC
To: buchanan at SUMEX-AIM
I dunno about Dr. I think they were bourgeois during the reign of Mao.
However, his family name is Ma and personal name is Xiwen - pronounced
"shiwen", so it should be addressed to Mr. or Dr. Ma. Chinese put the
family name first, but it can be either way.
∂23-May-79 1339 JMC
To: bennett at SUMEX-AIM
I have no information.
∂23-May-79 1317 JMC Rosse memo
To: feigenbaum at SUMEX-AIM
CC: LES at SU-AI
I propose the following counter argument:
Initially the musicians were entirely free loaders.
There was no real justification for letting them on a
machine entirely paid for by the Defense Department, but
I, John McCarthy, felt that the arts should be treated
more generously than other scientific projects (who were
only admitted if they contributed to the goals of the
ARPA project) because of their difficulty in getting
support. Music turned out to be compute-intensive, and
the few musicians we admitted initially turned out to
have lots of friends and students. While they sometimes
were co-operative, they always pressed their luck and
have been the largest single user of the computer most
of the time. There were many complaints from other users,
but we kept hoping that the problem would go away, and
with improvements in our facilities, and then there arose
the willow-the-wisp of the expected Yamaha money.
When ARPA support diminished, it became necessary to look
for additional sources of support for the machine. Unfortunately,
we were not and aren't a cost center and could not charge
directly for machine use. Therefore, we asked other
projects using the machine to buy us hardware instead.
This has proved to be an unsatisfactory solution.
as the present situation shows. As I understand it, you
propose that the musicians owe nothing for their use
of the approximately $2,000,000 in hardware contributed
by ARPA and others.
Well I can't bring myself to continue with this memo to
Rosse but there is also the fact that we don't want their
damn disk packs and we wouldn't have needed the second
disk controller if we had kicked them off as it now turns
out we should.
See if you can make something of this, but if I talk to
Rosse I will start to shout.
∂23-May-79 1305 JMC IJCAI invitation for Ma Xiwen
To: buchanan at SUMEX-AIM
Ma Xiwen, visiting AI Lab from PRC for one year thinks he can get
his government to pay for an IJCAI trip if he gets some kind
of invitation to attend. Can you cons up such a letter on
suitable stationery?
∂23-May-79 1041 JMC
To: FB
Saturday is fine. How about 11am at the Lab. Yes, please on display.
∂22-May-79 1158 JMC
To: FB
VAX[S79,JMC] contains M.I.T. and CMU opinions about VAX operating systems.
∂21-May-79 2351 JMC
To: MRC at SU-AI
I thought you could work at GSB late any night.
∂21-May-79 2349 JMC
To: zenon.pylyshyn at CMU-10A
We will make SAIL available. It supports an editor called E that is
comparable to but not compatible with EMACS. I have spoken to Gardner
Lindzey about terminals, and he doesn't seem inclined to supply them.
However, we may be able to scrounge something. I don't about anything
special going on this summer and will be away from mid July till the
beginning of September. - John
∂19-May-79 1003 JMC
To: LES
Maybe lesser price of Foonly channel was from lateness penalties.
∂18-May-79 2330 JMC
To: ME
Do we need the second disk controller when musicians separate?
∂18-May-79 1654 JMC
To: CET
Yes, I will introduce him.
∂18-May-79 1642 JMC dinner
To: MAX
Unfortunately, I can't come Sunday because of Carolyn's dance recital
at 8pm which is the outcome of a year's work. If it were earlier I
could come but would still have to leave a few minutes before 8. Sorry
not to have known about this conflict earlier.
∂18-May-79 1251 JMC
To: CLT
send check copy to pa shell
∂17-May-79 1725 JMC
To: LES
Call Joan.
∂17-May-79 1723 JMC
To: PAT
Well, it's still indefinite, but I suppose it will be for about a year,
but it's hard to specify a starting date till he gets through the
Chinese bureaucracy.
∂17-May-79 1418 JMC your message
To: PAT
I have been letting matters drift with regard to administrative matters
after the move, but I never made any commitment that the lab would
cease to exist as an administrative entity. On the other hand, I am
not sure that it needs to continue as such. I certainly prefer our
less hierarchical way of doing things. I will discuss it with Les,
and we will discuss it with you. Many thanks for crystallizing matters
by putting your thoughts in writing.
∂17-May-79 1255 JMC
To: TW
Sloman's book is published by Humanities Press. I have a copy and
so does the Stanford Library (Meyer Basement). I can lend you my
copy if theirs is out. The seven present for the year include
myself, Pat Hayes, Bob Moore, Marvin Minsky, Daniel Dennett of Tufts,
John Haugeland of U. Pittsburgh, and Zenon Pylyshyn. We plan to
hold a two day meeting with a long list of invitees but not supporting
travel, so what we'll get is random. You are one of the invitees.
I hope to get Sloman for some time, but that isn't certain.
∂17-May-79 1249 JMC
To: MRC at SU-AI
Sorry about that. I supposed ROB knew there was nothing to do but reload.
∂17-May-79 1246 JMC
To: LES, RWW, LGC, CLT
Bob Engelmore from ARPA will be here on Wednesday the 30th all day.
∂17-May-79 1245 JMC
To: engelmore at SUMEX-AIM
Wednesday the 30th will be fine.
∂17-May-79 1241 JMC
To: CET
CC: PAT, CHT
Please start a sign-up list. I have been postponing it until Manna
returns. Therefore, we will give it in the Fall. Most likely it
will be oral in the late Fall, so that we can ask for some additional
reading.
∂17-May-79 1037 JMC colloquium speaker
To: DPB
Dave Wilkins gave the best AI PhD oral yet yesterday. It would make an
excellent colloquium talk.
∂16-May-79 1126 JMC Conversation with Bob Kahn
To: LES
When I visited ARPA, I suggested that we might try to get Dick Helliwell
back and do a SUDS like system for integrated circuits. At the time he
was somewhat negative on the grounds that Feigenbaum and Baskett had
also expressed interest in the area. He called me with a more positive
view and suggested that we might undertake to develop a network available
system. I said that I would look into the availability of a suitable
team of people. His idea was that they would buy a machine for development
purposes and perhaps later a machine that would be on the network. It was
a candidate for some ARPA money that is intended to be spent on a joint
project with NSF.
We need to discuss whether it is reasonable to put something like this
together.
∂16-May-79 1118 JMC
To: PAT
repeatedly
∂16-May-79 0112 JMC
To: BCM
I'll be in my office in Jacks 356 until 2:15pm.
∂15-May-79 1551 JMC
To: *
That was July 30, since the music school doesn't end till then.
∂15-May-79 1219 JMC
To: elschlager at SUMEX-AIM
Look at Stanford AI Memo 325 after which we can talk if you want.
∂14-May-79 2312 JMC
To: *
Tentative moving day = July 23, right after music course
∂14-May-79 2155 JMC
To: LGC
To answer only your last query, the program is XGPSYN, but it can onlyy
be used on data disks and only when at least three channels are available.
The files CBCL[F75,JMC] is intended as the appendix in question. See also
files.pro[s79,jmc] about which comments are solicited. I am requesting
a research associate for each project.
∂14-May-79 1842 JMC
To: RWW, LGC
I have given Engelmore a choice of dates.
∂14-May-79 1841 JMC
To: RWW
See and react to FILES.PRO[S79,JMC].
∂14-May-79 1809 JMC
To: engelmore at SUMEX-AIM
Any of those days is fine with us.
∂14-May-79 1808 JMC
To: LGC
We'll meet soon on the question of presentations.
∂14-May-79 1712 JMC visit by ARPA's Engelmore
To: LGC
He wants to come on 25th, 29th or 30th to discuss our proposal.
Can we give him free choice as far as you are concerned?
∂14-May-79 1651 JMC
To: DPB
CC: DEK
I'll get back to you after a bit, but I can't agree to anything now.
∂14-May-79 1105 JMC
To: bmoore at SRI-KL
I think we could borrow a few from SAIL, and presumably others could be
rented. I called Gardner Lindzey about it, and he said that you should
talk to Carol Trainer about technical matters such as phone lines. He
pleaded poverty, and I forgot about the secretarial saving argument. I
said that the AI Lab could provide the computer time. Those individuals
who can borrow terminals from their organizations should do so. It would
be good if you could work up a cost estimate for doing things right including
providing terminals for the philosophers.
∂14-May-79 0109 JMC
To: RWW, LGC
That's cbcl.pro[s79,jmc].
∂14-May-79 0108 JMC
To: RWW, LGC
Please comment on cbcl.pro.
∂13-May-79 2301 JMC goal
To: JB
this is not jmc but rww. please contact me about goal.
richard
∂13-May-79 2149 JMC Tang
To: PAT
I have heard that Tang expects to be able to come, so you might tickle
the I-Center for a DSP-66 for him.
∂13-May-79 1717 JMC note to Arlene Blum
To: PAT
Margaret Young asked me to tell you that her best climb was
Monja Grande in Ecuador.
∂13-May-79 1717 JMC
To: RWW
7pm
∂12-May-79 1625 JMC
To: DEW
How about 11am Monday at Lab + Lunch. If you don't have a car, meeting
somewhere else is ok too.
∂11-May-79 1411 JMC
To: DON
As you probably richly deserve, you are scooped by Zork article in April Computer.
∂11-May-79 1315 JMC
To: DEW
Thanks, I would like to Hans. Co-ordinates?
∂10-May-79 1559 JMC letter to pripstein
To: PAT
Sorry I wasn't able to make the meeting at Hoover. With more notice I
could have. regards, John
∂10-May-79 1558 JMC
To: mcgoveran at SUMEX-AIM
Please send memo about Chinese.
∂10-May-79 1104 JMC
To: LES
∂10-May-79 1042 Mcgoveran at SUMEX-AIM Meeting with Ed and Ralph
Date: 10 May 1979 1043-PDT
From: Mcgoveran at SUMEX-AIM
Subject: Meeting with Ed and Ralph
To: JMC at SAIL
A meeting has been tentatively set for Monday at 1 in Ed's conference room
to discuss the moving of the SAIL computer. can you attend at this time?
if not, please let me know so an alternate time can be arranged.
Mary
-------
∂09-May-79 1711 JMC Igarashi paper
To: MAX
I can't find the Igarashi paper, but it seems to me that is results were
about the same as yours. Namely, it was a natural deduction system, and he
did the Wise Man example assuming rather than proving that the first wise man
didn't know the first time the question was asked, and the second didn't know
the second time.
∂09-May-79 1626 JMC
To: PAT
zohar gets an Elephant.
∂09-May-79 1558 JMC Martin Davis visit
To: RWW, CLT, CG, DCO, LGC
Said visit is planned for week of June 18. We can hope for some help
on heavy duty set theory and circumscription.
∂09-May-79 1554 JMC martin davis
To: LES
Martin Davis will come the week of June 18, and I have agreed that
we will pay his prorated salary plus travel and living expenses.
His current 9 month salary is 41.5K. He as at Math dept
UC Santa Barbara, 93106, tel. 805 961-4068,-3515 office.
∂09-May-79 0127 JMC
To: LES, ME
∂05-May-79 2212 DD at MIT-AI (David Dyer)
Date: 6 MAY 1979 0106-EDT
From: DD at MIT-AI (David Dyer)
To: jmc at SU-AI
This message should be redirected to the systems programmer
responsible for your C-1 data chennel made by foonly inc.
We at III have the next iteration of the design for the C-1 channel.
Be warned that your channel will not work without
some hardware changes should you ever decide to use it to run magtapes.
It also will not run without some microcode changes if you ever connect
more than one controller of any kind to either channel.
To contact me, use DD@AI, which is my mail drop, or you can
call me at Triple-I.
∂09-May-79 0126 JMC
To: jrobinson at SRI-KL
I just got back, and will get on it.
∂09-May-79 0000 JMC Expired plan
To: JMC
Your plan has just expired. Maybe you should make a new one.
∂03-May-79 1511 JMC
To: PAT
please call iii about board meeting, and if it doesn't conflict with
wilkins oral tell him he needn't change date
∂02-May-79 0301 JMC →12747 (9-May-79)
To: "#___JMC.PLN[2,2]"
Gone till Wednesday May 9.
∂02-May-79 0258 JMC
To: PAT
Please send ELEPHA.XGP to Corky.
∂02-May-79 0257 JMC
To: PAT
Please send MANNA.LE3 to Zohar as a telegram.
∂02-May-79 0109 JMC
To: PMF
Is Ted Anderson S-1, and why does he print large theses?
∂01-May-79 2032 JMC your message
To: LGC
I will be in by 9:15. Your opus might well be included as an appendix to
the section of the proposal. How long is it in printed pages. Did you
do it in September as the date indicates? We should have discussed it.
You might show it to Ma as it is related to things he is thinking about.
I would be more convinced that the loose ends were tied down if some
part of the reasoning were made into a FOL proof. If Ma can do it, you
can.
Naturally I haven't had time to read all the axioms and theorems
to see if I believe them, but this is the kind of thing I hoped you would
do.
∂01-May-79 1914 JMC
To: LGC
Yes, I will be in later.
∂01-May-79 1914 JMC
To: PAT
Please send John Hennessy a copy of Elephant. It's ELEPHA.XGP[S79.
∂01-May-79 0233 JMC
To: WD
What did my poor beast do to offend? Yes, you are welcome to stay.
We will return next Tuesday night.
∂01-May-79 0100 JMC
To: CLT
I have made some changes directly to JUNK.
∂30-Apr-79 2255 JMC
To: MRC at SU-AI
Congratulations on Dialnet success.
∂30-Apr-79 2252 JMC oral date
To: DEW
I need to change your oral date. Any other day that week will do - or that evening.
∂30-Apr-79 1928 JMC
To: guernylusby at USC-ISI
May 3 schedule fine with me.
∂30-Apr-79 0141 JMC
To: WD
Any chance that you could transport Caspian to Berkeley by Wednesday?
∂29-Apr-79 2322 JMC
To: RWW
Just as you spelled it.
∂29-Apr-79 2321 JMC
To: RWW
Yes, include Chris.
∂27-Apr-79 1628 JMC
To: morton at PARC-MAXC
I go along with Newell on Partridge.
∂27-Apr-79 1627 JMC
I go along with Newell.
∂27-Apr-79 1406 JMC
To: TOB
Go ahead and invite.
∂27-Apr-79 1127 JMC Leivant
To: GHG
I definitely favor the admission of Leivant. I think that both
mathematical theory of computation and artificial intelligence need people
with a strong background in mathematical logic. Barring unforseen events,
the AI Lab will be able to support him.
∂26-Apr-79 2333 JMC
To: RWW
∂26-Apr-79 2329 RWW arpa proposal
did you get my message?
Yes, let's talk tomorrow, but I suppose I would welcome a draft for the
whole group. Including Gigina seems reasonable, if you think she
will do good things.
∂26-Apr-79 2324 JMC
To: CLT
call alice
∂26-Apr-79 1637 JMC your message
To: MAX
1. Have a good visit to the East Coast.
2. We won't know about paying expenses to AI conference till we find out
how many papers have been accepted, but the chances aren't very good.
3. It is better to send me messages using MAIL rather than SEND. They
are sometimes lost when I'm editing, and I like to keep copies.
∂26-Apr-79 1453 JMC
To: PAT
Let me not forget newbor.le1.
∂26-Apr-79 1431 JMC
To: HVA
If you have info on when toner will come, mail *.
∂26-Apr-79 1358 JMC proofs for MI9
To: PAT
Donald Michie called to say that he hadn't received them.
∂26-Apr-79 1246 JMC
To: mcgoveran at SUMEX-AIM
I'll be at faculty meeting.
∂26-Apr-79 1048 JMC
To: csl.owicki at SU-SCORE
I should explain that I am not really in this loop. I was talking to
Ed Blum about another matter, and he mentioned it, and I said that with
our great computer system, I could send you a message instantly. Perhaps
some regulator should suggest banning message systems as giving people
too much tendency to get involved in other people's business.
∂26-Apr-79 1044 JMC
To: bmoore at SRI-KL
To tell the truth, I would like one hard bound copy, assuming that M.I.T.
theses are nicely bound like Stanford ones.
∂25-Apr-79 2155 JMC
To: SSO at SU-AI
Ed Blum rec'd letter from Takasu regretting absence of your corrections to transcripts.
∂25-Apr-79 1723 JMC
To: MAX
Bob Moore will be here at 2pm tomorrow Thursday, and we can talk then.
∂25-Apr-79 1640 JMC
To: bmoore at SRI-KL
How about meeting with me and Ma at 2pm here tomorrow, e.g. Thursday? This
is tentative till he agrees, and he's not in.
∂25-Apr-79 1637 JMC
To: bmoore at SRI-KL
Are bound copies of your PhD thesis available yet?
∂25-Apr-79 0002 JMC
To: ME, ROB
AP broken again
∂24-Apr-79 2212 JMC
To: RWW
How are you coming on proposal?
∂24-Apr-79 1636 JMC
To: DPB
To what have you changed the name of the department phone file?
∂24-Apr-79 1626 JMC
To: bmoore at SRI-KL
Was Ma's explanation sufficient, and are you ready to talk?
∂24-Apr-79 1411 JMC
To: PAT
schwar.pr1[let,jmc] is a review of the proposal I put on your desk.
∂23-Apr-79 2245 JMC
To: MLB
For usefulness, NEWDO writeup must be merged with the old.
∂23-Apr-79 1917 JMC
To: REP
I forget when we talked, but there is now a parallel Elephant program.
∂23-Apr-79 1145 JMC
To: DPB at SU-AI
CC: EAF at SU-AI
In that case, it would be better if you would list CS206 as ordinarily
given in both quarters, but not given in Spring next year. There is
another issue connected with my desire not to allow the theory to
be squeezed out by mere programming.
∂21-Apr-79 2210 JMC Shrinking CS206
To: DPB at SU-AI
CC: feigenbaum at SUMEX-AIM
I was surprised to notice that CS206 is to be given only in the Fall
next year. It isn't obvious that that is the right thing to do.
∂21-Apr-79 1953 JMC
To: PAT
Please send John Williams at IBM San Jose copies of FIRST and ELEPHA.
∂20-Apr-79 1235 JMC Mr. S and Mr. P
To: MAX at SU-AI
CC: bmoore at SRI-KL
Your axiomatization is a considerable improvement on mine, mainly
because it separates the reasoning about knowledge from arithmetic
reasoning to an even greater extent. A slight further improvement can be
made by eliminating the predicate OK. A PAIR can be taken to mean what
you called an OK pair, and the reasoning about OK can be made part of the
arithmetic.
I still have some questions about the axioms describing the
effects of learning. These doubts concern my formulation as well as
yours. Bob Moore, whom you met at SRI, will come over some time next
week, and the three of us can discuss axiomatizations for knowledge in
general and learning in particular. What is you present opinion about
avoiding possible worlds?
∂20-Apr-79 0931 JMC
To: LLW
We shall find out what Carlson had in mind - i.e. whether he was thinking
of Mark 2a or Mark 3 or was awaare of the distinction. What he had in mind,
however, was not giving Stanford 2 to 4 S-1s for Stanford's use, but rather
having Stanford operate an ARPAnet facility for general Interlisp work.
The questions would be the color of his money, whetherhis time scale
matches that of the Mark 3, and what is in it for Stanford and for the
S-1 project. I'll be back to you on the other problems.
∂20-Apr-79 0923 JMC
To: REM
The very same Huffman.
∂19-Apr-79 2135 JMC D.E.C rumor and space needs
To: feigenbaum at SUMEX-AIM
1. Alan Kotok of D.E.C. confirmed that one more PDP-10 machine is scheduled
after which D.E.C. expects to concentrate on the VAX architecture throughout
its product line. Also he said that D.E.C. plans to offer an IBM channel
interface that will permit connecting IBM compatible peripherals. This will
enormously reduce the cost of disk expansion for SCORE. It will also be
supported with software.
2. More and more good people want to visit. I think the Department
absolutely needs some expansion space - however low the quality. Cedar
or Serra will do.
∂19-Apr-79 2116 JMC
To: davis at OFFICE-2
Please tell Les that I said it would be ok for you to use the machine
to produce your thesis. My motivation is also to get the mathematicians
interested in using computers more.
∂19-Apr-79 1657 JMC
To: ijcai79 at SUMEX-AIM
The McDermott paper should be accepted. It is D-008.
∂19-Apr-79 1656 JMC
To: ijcai79 at SUMEX-AIM
The McDermott paper should be accepted.
∂19-Apr-79 1427 JMC
To: MAX
I spooled the file and will look at it.
∂18-Apr-79 1550 JMC conversation with Lowell Wood
To: LES, DCL
He returned my call. We can expect the Mark I sometime
next winter, but it won't be usable as a time-sharing machine.
The second Mark 2A is scheduled for NBS, and we will get one
of the following batch. Time-sharing is one-and-a-half to two
years away on his schedule. ARPA money could advance that, but
Lowell is skeptical as to whether Carlson has money to back up
his ideas. I told him that I thought the S-1 project should
pay a larger share of the operating expenses of the KL, and we
agreed to discuss it next week. We need cost information by
then.
∂18-Apr-79 1301 JMC need for conversation
To: LLW
I need to discuss with you (1) plan for SAIL S-1, (2) ARPA brainstorm to
buy two to four S-1s for Interlisp work and locate them at Stanford.
∂18-Apr-79 1300 JMC sail and score
To: DCL at SU-AI
CC: feigenbaum at SUMEX-AIM
You were mistaken about Feigenbaum's intentions. Department office work,
documentation and student work including comprehensive problems are to
migrate to SCORE. The misunderstanding probably arose, because Feigenbaum
doesn't want elementary courses on SCORE. CS10X, CS206, etc. are to
stay on LOTS. Therefore, the load on this machine will be reduced.
∂18-Apr-79 1138 JMC
To: PAT
Please pub Wilkin.re1 addressed to Earl Sacerdoti at SRI.
∂17-Apr-79 2143 JMC
To: bmoore at SRI-KL
∂17-Apr-79 2015 Zenon.Pylyshyn at CMU-10A (X320ZP51) Your letter re conference in October
Date: 17 Apr 1979 2313-EST
From: Zenon.Pylyshyn at CMU-10A (X320ZP51)
Subject: Your letter re conference in October
To: JMC @ SU-AI
Message-ID: <17Apr79 231314 ZP51@CMU-10A>
The idea of an interdisciplinary conference sounds fine -- though it might
be most useful if it were kept strictly limitied to the invitees and the
Center people (I suspect this is what you had in mind). I have already
expressed my positive views on the topic to Ken Klivington at Sloan when
he asked for my opinion on Lindsey's application for money. I will give
some thought to format and participants in the next few days. The only
thoughts that come to mind immediately are the names of two people not on
your list that I think would contribute immeasurable* Al Newell and Scott
Fahlman. I just heard John Searle: he might be OK though totally negative
(he is a good representative of the Dreyfus view, but somewhat more
articulate. There must be more philosophers, but I can't pick their names
out just now. I do know that many of the people on your list are very
unlikely to come (e.g. Chomsky, Fodor). Also I would very much like to
see some cognitive psychology oriented theorists, though the only one I
can think of is Newell. I will append more as it occurs to me.
-------
Cheers,
Zenon
I'll pass this on to Bob Moore, who will be doing the organizing. I talked
with Chomsky when he lectured here at Stanford, and although we argued
fiercely about Vietnam, we found ourselves in agreement about many aspects
of the relevant philosophy, and he said he might come to the conference.
Anyway he wanted to be invited. Newell, Fahlman and Searle can certainly
be invited.
∂17-Apr-79 2143 JMC
To: zenon.pylyshyn at CMU-10A
I'll pass this on to Bob Moore, who will be doing the organizing. I talked
with Chomsky when he lectured here at Stanford, and although we argued
fiercely about Vietnam, we found ourselves in agreement about many aspects
of the relevant philosophy, and he said he might come to the conference.
Anyway he wanted to be invited. Newell, Fahlman and Searle can certainly
be invited.
∂16-Apr-79 1657 JMC
To: TW
This paper is to be published in %2Philosophical Perspectives in Artificial
Intelligence%1 edited by Martin Ringle and to be published by Humanities
Press.
∂16-Apr-79 1656 JMC
To: TW
The paper on ascribing mental qualities will appear as an AI memo
and in a symposium volume. Patte can give you the precise reference.
∂16-Apr-79 1056 JMC
To: MRC at SU-AI
CC: DBG at SU-AI
Not obvious. It seems like suppression of dissent, because the story
does not mention their being agents of the mainland government, which
also shoots Kuomintang agents, but such a charge may have been omitted
from the story. I fear that the Kuomintang government uses a genuine
threat to their survival as a reason for unjustified suppression, but
I don't know it for a fact.
∂16-Apr-79 1049 JMC
To: feigenbaum at SUMEX-AIM
Ed: How does this strike you? It seems to me to have mainly advantages.
∂16-Apr-79 0321 LLW Visiting Faculty Appointment for John Reiser
To: JMC, LES
CC: LLW
I spoke with you, John, a few months ago, and with you, Les, a couple of
weeks ago about a visiting faculty appointment for John Reiser; your
responses were both of encouraging flavors, and it was left up to me to
suggest when would be an appropriate time for the associated paperwork to
be ground through by Stanford.
As a result of recent conversations with John by others and by myself, the
appropriate time quite definitely seems to be now. Reiser is presently
winding up the work which has occupied him for more than a year, and is
now in the process of deciding whether to finish seeking his management's
permission to collaborate on multiprocessor operating systems and
lanaguages research with SU/CS and the S-1 Project, or to undertake some
other, more applied research of relatively keen interest to his
management. He has stated quite unequivocally in these recent discussions
that a visiting faculty appointment at SU/CS was tantamount to a sine qua
non for the former option to materialize (more so in the eyes of his
management than in his own), and that he would be quite happy to offer a
seminar series or whatever as a quid pro quo.
Since as you remarked, John, a visiting faculty appointment at zero time
costs nothing, and involves nothing other than pushing paperwork through
your local bureaucracy, I will certainly appreciate your commencing the
paperwork at the present time. Reiser indicated that he would be asking
for permission to spend about half his total professional effort with us
for the next year, starting this Spring. LLL would pay his travel and
subsistence expenses during this period, and BTL would continue to pay his
full salary.
John's addresses and phone numbers are as follows:
Business: Dr. John Fredrick Reiser
Technical Staff Member
Bell Telephone Laboratories
Crawford Corner Road
Holmdel, NJ 07733 201-949-3942
Home: 53 South Street
Red Bank, NJ 07701 201-741-3128
Thanks very much for the help. I trust that Reiser's being in California
during this next 12 months will be a marked benefit to both SU/CS
Department and to the S-1 Project!
Lowell
∂15-Apr-79 1614 JMC
To: JC
One of us will be there.
∂15-Apr-79 1016 JMC
To: REM
Your ideas seems good, but alas, my own experience in trying to peddle
ideas leaves me very skeptical about making a quick 100 grand or even
a quick one grand. The resistance to new ideas is such that it is
even difficult to give them away.
∂13-Apr-79 2051 JMC
To: ME
Thanks for keeping me informed.
∂13-Apr-79 2047 100 : ME new file pack
To: JMC, LES
I'll put up a new system pack Sunday evening. No time tonight (even for purge),
since ROB (and I) spent most of the time checking out the disk drives.
∂13-Apr-79 1554 JMC
To: PAT
Please get me "Integer Programming" by T.C. Hu from the library.
∂13-Apr-79 1543 JMC Delegation from Harbin
To: MAX
Would you be willing to help tell some people from Harbin about
the Lab on Monday. I will talk to them for about half an hour
from 2:00 to 2:30, but I suppose they could also learn from someone
who could talk to them in Chinese.
∂13-Apr-79 1220 JMC
To: mcgoveran at SUMEX-AIM
I might be interested depending on what companies.
∂13-Apr-79 1219 JMC
I might be interested depending on what companies.
∂11-Apr-79 1801 JMC Russian book on game programs.
To: EAF at SU-AI
Ershov just sent me a 255 page 1978 book by Adelson-Velskiy, Arlazarov and Donskoy
on programs for playing games, especially chess. They are the proprietors
of the good Soviet program Kaissa, and the book looks good. Can you think
who might be interested in publishing it in English?
∂10-Apr-79 1725 JMC
To: carlson at USC-ISI
That was Thursday May 3.
∂10-Apr-79 1724 JMC
To: carlson at USC-ISI
How about Friday May 3 for visit to discuss proposal?
∂10-Apr-79 1703 JMC
To: LES
The agreement with Ted looks ok to me.
∂10-Apr-79 1559 JMC
To: EAF at SU-AI
I have sent letter to Tang; I signed it, since I'm paying.
∂09-Apr-79 2327 JMC fol
To: CLT
making assignments to simpsets is really a side effect, and a
source of nonmonotonicity. a losing thing.
when trying to summarize a theory how do you explain what version
of the ss was used at each stage???
∂09-Apr-79 2311 JMC FOLISP
To: CLT
ADD ALL_N SCHEMA TO NATNUM PROOF. Useful for doing cvi-induction!
∂09-Apr-79 1643 JMC
To: DON, ME
From the user's point of view, a need for verifying a spelling arises
while writing. I would like to write "⊗XDFIND advertise" and have it
confirm for me that "advertise" is spelled with an "s" rather than a "z".
∂09-Apr-79 1633 JMC
To: DON, ME
Is there any way of running DFIND out of E?
∂08-Apr-79 2313 JMC
To: MRC at SU-AI
I was hoping your message was about Dialnet.
∂08-Apr-79 2257 JMC
To: ME
What is present situation of new disks?
∂07-Apr-79 1523 JMC algorithm for find
To: DON
I am surprised that FIND took 15 seconds to not find "antidisestablishmentarianism".
I would have thought that very long words would take less time than
the usual 10 seconds.
∂06-Apr-79 1631 JMC
To: russell at USC-ISI, carlson at USC-ISI
I would like to visit and discuss our next proposal.
∂06-Apr-79 1615 JMC
To: PAT
CC: MAX
Please find out how Ma can get a Stanford ID card?
∂06-Apr-79 1523 JMC LETTER
To: PAT
Dr. V. E. Kotov
Computation Center
Novosibirsk 630090
USSR
Dear Dr. Kotov:
Many thanks for your book on program schemes. Enclosed is
a paper that may interest you.
.reg
Enclose a copy of FIRST.
∂06-Apr-79 1446 JMC
To: TW
I would favor a small required reading list. Ideally it should be one
book. Asking the student to use his judgment is not fair, because the
faculty is not bound and is unlikely to respect his judgment.
change the title from "Application of formal logic to AI" to
Epistemological problems of AI and the use of formal logic" and
change the first 3 sentences to
The problem of describing facts about the world including the effects
of actions has been studied apart from specific problem solving
programs. This work has used first order logic to express facts
about the world. These issues are discussed in [McCarthy and Hayes]
and in [Hayes DEFENCE]. Many current issues are discussed in [McCarthy
5IJCAI].
The most accessible reference to my reply to Weizenbaum is the
Stanford AI memo containing reviews by myself Buchanan and Lederberg.
I think the syllabus should downplay philosophical and social issues,
because the we certainly don't want to grade students on their own
views, and the field is fluffy enough as it is without letting or
requiring students to be able to regurgitate various people's views
on the issues. If the faculty wants students to have exposure to
these issues it should require attendance at a seminar or lecture
series and take attendance but not examine.
I guess I would advocate omitting or drastically condensing the
sections on philosophical implications, political and social
implications and history and politics of the field. However, on
philosophical implications there is a new important reference,
namely Aaron Sloman's "The Computer Revolution in Philosohy".
I regret the demise of MICROplanner which had a clearer and simpler
structure than its successors as well as having more actual use.
∂06-Apr-79 1353 JMC Tang
To: EAF at SU-AI
I have decided to come up with the money out of my unrestricted funds to
offer Tang a ticket and living expenses of $450 per month for a year.
Therefore, if it's ok with you, I will invite him and simultaneously
circulate his vitae. Don and I were both much impressed with him.
∂05-Apr-79 2352 JMC
To: PAT
putnam.le1
∂04-Apr-79 1650 JMC
To: BS at SU-AI
CC: EAF at SU-AI
Why not 8 percent?
∂03-Apr-79 2341 JMC
To: admin.gorin at SU-SCORE
Could you press MRC a bit on Dialnet?
∂03-Apr-79 2125 JMC medical insurance for Ma
To: PAT
Would you ask Office of Foreign Visitors and/or China Relations Office what
is the best way for Ma to buy medical insurance while he is here.
∂03-Apr-79 1707 JMC
To: LGC
It's possible, but I'd prefer you got someone else.
∂03-Apr-79 1417 JMC Gorin salary
To: EAF at SU-AI
Pat Devaney just called me about Gorin salary, and we two are to make
a recommendation. What happened with the raise he got associated with
increased responsibilities? I suppose he should get a normal raise
on top of that.
∂02-Apr-79 1944 JMC
To: jrobinson at SRI-KL
No help needed. We expect you at 7.
∂02-Apr-79 1648 JMC
To: PAT
sloman.le1
∂02-Apr-79 1631 JMC
To: RWW
ARPA proposal material is needed by May 1.
∂02-Apr-79 1617 JMC
To: bmoore at SRI-KL
OK, please send Patte your updated list.
∂02-Apr-79 1222 JMC
To: bmoore at SRI-KL
The letter is ok to send without change, and I agree that Barbara Partee
would be a good potential invitee. Do you want to send it from SRI?
From here; Patte would do it for you? Or from CASBS?
∂02-Apr-79 1216 JMC
To: LES
good
∂02-Apr-79 1054 JMC
To: EAF at SU-AI
.require "let.pub" source
∂AIL Prof. Tang Chih-sung↓Institute of Computers↓Academia Sinica↓Peking, China∞
.<<sister = Tang Shih Sung = Dianna Lee, 953 Reliez Station Rd. Lafayette
.CA 94549, tel 937-2869 home, 834-5740 ext 293
.restaurant = Fu Lu Shou, 2115 Kittredge St., Berkeley, tel. 548-7544>>
Dear Prof. Tang:
On the recommendation of Professors Donald Knuth and John McCarthy,
the Computer Science Department of Stanford University would
welcome you as a Visiting Scholar for a period of up to one year (your
choice) starting at any time convenient to you on or before October 1,
1979. We would be able to provide office space, secretarial help, and
computer facilities but no salary or expenses, i.e. no money would change
hands.
If it seems likely that you will be able to accept this offer,
write me and we will send you a DSP-66 Form that can be used to obtain a
visa from the U.S. Embassy in Peking.
Should you have financing only for visit shorter than one
year, it is possible that we may be able to finance an extension, but
this depends on how mutual scientific interests develop and the availability
of funds from our research grants and contracts and could be determined
only some time after your arrival.
.sgn